谓词公式中无任何自由变元,是闭式。‍答案: 错误



登录
订单
帮助
主页